refinement calculus造句

Generalizing the observational lattice has led to Refinement Calculus.
Subsequently he worked for Broadcom in Dublin and at 舃o Akademi University in Turku, Finland with Ralph-Johan Back on Refinement Calculus.
Back originated the refinement calculus, an important approach to the formal development of programs using stepwise CWI Amsterdam, the Academy of Finland and the University of Tampere.
It's difficult to find refinement calculus in a sentence. 用refinement calculus造句挺难的